On the Algebraic Representation of One-Tape Deterministic Turing Machine
نویسنده
چکیده
An algebraic representation of the Turing machines is given, where the configurations of Turing machines are represented by 4 order tensors, and the transition functions by 8 order tensors. Two types of tensor product are defined, one is to model the evolution of the Turing machines, and the other is to model the compositions of transition functions. It is shown that the two types of tensor product are harmonic in the sense that the associate law is obeyed.
منابع مشابه
Combinatorial Lower Bound Arguments for Deterministic and Nondeterministic Turing Machines
We introduce new techniques for proving quadratic lower bounds for deterministic and nondeterministic 1-tape Turing machines (all considered Turing machines have an additional one-way input tape). In particular, we derive for the simulation of 2-tape Turing machines by 1-tape Turing machines an optimal quadratic lower bound in the deterministic case and a nearly optimal lower bound in the nonde...
متن کاملVerifying whether One-Tape Turing Machines Run in Linear Time
We discuss the following family of problems, parameterized by integersC ≥ 2 andD ≥ 1: Does a given one-tape q-state Turing machine make at mostCn+D steps on all computations on all inputs of length n, for all n? Assuming a fixed tape and input alphabet, we show that these problems are co-NP-complete and we provide good lower bounds. Specifically, these problems can not be solved in o(q(C−1)/4) ...
متن کاملP = Np
The present paper proves that P = NP. The proof, presented in this paper, is a constructive one: The program of a polynomial time deterministic multi-tape Turing machine M ∃AcceptingP ath, which determines if there exists an accepting computation path of a polynomial time non-deterministic single-tape Turing machine M
متن کاملar X iv : c s / 03 10 04 6 v 2 [ cs . C C ] 1 4 Ju n 20 04 Theory of One Tape Linear Time Turing Machines ∗
A theory of one-tape linear-time Turing machines is quite different from its polynomial-time counterpart since one-tape linear-time Turing machines are closely related to finite state automata. This paper discusses structural-complexity issues of one-tape Turing machines of various types (deterministic, nondeterministic, reversible, alternating, probabilistic, counting, and quantum Turing machi...
متن کاملRelationships Between Nondeterministic and Deterministic Tape Complexities
This paper first proves the Savitch Theorem: any nondeterminstic L(n)− tape bounded Turing Machine can be simulated by a deterministic [L(n)]− tape bounded Turing machine, provided L(n) ≥ log2n. Then as an attempt to answer the following question: “Given a nondeterministic tape bounded Turing machine which accepts set A, how much additional storage does a deterministic Turing machine require to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1607.03810 شماره
صفحات -
تاریخ انتشار 2016